/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Department of Computer Science, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 
¬March 12, 1981 




␈↓ ↓H␈↓Profesor Albert Meyer
␈↓ ↓H␈↓Department of Electrical Engineering and Computer Science
␈↓ ↓H␈↓M.I.T.
␈↓ ↓H␈↓Cambridge, Mass. 02139

␈↓ ↓H␈↓Dear Professor Meyer:

␈↓ ↓H␈↓        Dana␈α
Scott's␈α
outstanding␈α
contributions␈α
to␈α
computer␈α
science␈α
began␈α
in␈α
the␈α
late␈α∞1960s.␈α
 From
␈↓ ↓H␈↓my␈αpoint␈αof␈αview,␈αthe␈αmost␈αimportant␈αwas␈αhis␈αformal␈αsystem␈αfor␈αproving␈αproperties␈αof␈α
computable
␈↓ ↓H␈↓functions␈α
incorporating␈α
the␈αnotions␈α
of␈α
partial␈α
ordering,␈αmonotonic␈α
and␈α
continuous␈α
functions␈αand
␈↓ ↓H␈↓his␈α∞rule␈α
of␈α∞induction.␈α∞ After␈α
that␈α∞comes␈α
his␈α∞lattice␈α∞of␈α
continuous␈α∞functions␈α
and␈α∞his␈α∞discovery␈α
of
␈↓ ↓H␈↓models of the lambda calculus.

␈↓ ↓H␈↓        M.I.T.␈α∩computer␈α∩science␈α∩will␈α∩be␈α∩greatly␈α∩strengthened␈α∩if␈α∩Scott␈α∩comes,␈α∩because␈α∪his␈α∩thesis
␈↓ ↓H␈↓students will do work that will combine practical importance and mathematical sophistication.

␈↓ ↓H␈↓        I wish he were interested in returning to Stanford.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Professor of Computer Science